Taming Reflection

نویسندگان

  • Eric Bodden
  • Andreas Sewe
  • Jan Sinschek
  • Hela Oueslati
  • Mira Mezini
چکیده

Static program analyses and transformations for Java face many problems when analyzing programs that use reflection or custom class loaders: How can a static analysis know which reflective calls the program will execute? How can it get hold of classes that the program loads from remote locations or even generates on the fly? And if the analysis transforms classes, how can these classes be re-inserted into a program that uses custom class loaders? In this paper, we present TamiFlex, a tool chain that offers a partial but often effective solution to these problems. With TamiFlex, programmers can use existing staticanalysis tools to produce results that are sound at least with respect to a set of recorded program runs. TamiFlex inserts runtime checks into the program that warn the user in case the program executes reflective calls that the analysis did not take into account. TamiFlex further allows programmers to re-insert offline-transformed classes into a program. We evaluate TamiFlex in two scenarios: benchmarking with the DaCapo benchmark suite and analysing large-scale interactive applications. For the latter, TamiFlex significantly improves code coverage of the static analyses, while for the former our approach even appears complete: the inserted runtime checks issue no warning. Hence, for the first time, TamiFlex enables sound static whole-program analyses on DaCapo. During this process, TamiFlex usually incurs less than 10% runtime overhead.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Unanticipated partial behavioral reflection: Adapting applications at runtime

Dynamic, unanticipated adaptation of running systems is of interest in a variety of situations, ranging from functional upgrades to on-the-fly debugging or monitoring of critical applications. In this paper we study a particular form of computational reflection, called unanticipated partial behavioral reflection, which is particularly well-suited for unanticipated adaptation of real-world syste...

متن کامل

[Informed management in nursing work].

Informed management presupposes that all individuals will prioritize a taming and determined conduct in detriment of a passive one. It also presupposes deep concern about issues related to the human species, ethical problems, the relationship with nature and, finally, about men's future. In this way, the authors, based on the assumptions underlying the Policies of Informed Management proposed b...

متن کامل

First as Farce, Then as Filmfarsi: Film Adaptation of Shakespeare’s The Taming of the Shrew in Iran

This article is concerned with William Shakespeare’s famous farce play The Taming of the Shrew and its Persian adaptation as an Iranian film called Gorbe ra dame Hejleh Mikoshand in 1969. The point that informs the inquiry is the way the film departs and differs from the play in relation to the issue of women within the patriarchal society. The play and the film will be examined separately in d...

متن کامل

Taming Evasions in Machine Learning Based Detection Pipelines

Taming Evasions in Machine Learning Based Detection Pipelines

متن کامل

Taming Webpage Complexity to Optimize User Experience on Mobile Devices

OF THE DISSERTATION Taming Webpage Complexity to Optimize User Experience on Mobile Devices

متن کامل

Rationally connected 3-folds and symplectic geometry

The first condition tells that ω is of type (1, 1). The last condition is called the taming condition. We will consider more generally taming symplectic forms α on X. These forms are thus non necessarily of type (1, 1) but their (1, 1)-part is positive (but not necessarily closed). Let X and Y be two complex projective or compact Kähler manifolds. The set of taming symplectic forms on X, resp. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011